Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
291	Private Computation Using a PEZ Dispenser J´ ozsef Balogh, J´ anos A. Csirik, Yuval Ishai, Eyal Kushilevitz November 6, 2001 Add to Reading List Source URL: www.csirik.net Language: English - Date: 2014-01-19 15:08:47 Permutation Computability theory Theory of computation Orbifold Natural deduction Mathematics Combinatorics Symbol
292	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
293	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
294	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
295	Math. Program., Ser. A 102: 457–[removed]Digital Object Identifier (DOI[removed]s10107[removed]z Kent Andersen · G´erard Cornu´ejols · Yanjun Li Split closure and intersection cuts Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2005-04-21 21:10:15 Conic section Natural deduction Geometry Birational geometry Analytic geometry
296	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
297	Realizability in classical logic Jean-Louis Krivine University Paris VII, C.N.R.S. P.P.S. Team [removed] Lessons in Marseille-Luminy, may 2004 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-09-16 11:45:33 Algebraic topology Symbol Spectral theory Sheaf Operator theory Ordinary differential equations Natural deduction Combinatory logic Mathematics Algebra Abstract algebra
298	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2010-07-17 14:32:37 Propositional calculus Automated theorem proving Inference Logical truth Natural deduction Sequent calculus Rule of inference Deep inference Cut-elimination theorem Logic Mathematical logic Proof theory
299	AG13 FORMALISM B Alessio Guglielmi (TU Dresden[removed]In this note (originally posted on[removed]to the Frogs mailing Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:44 Sequent calculus Sequent Rule of inference Deep inference Cut-elimination theorem Natural deduction Proof theory Logic Mathematical logic
300	28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:31 Mathematics Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Linear logic Sequent Rule of inference Function Logic Mathematical logic Proof theory

UPDATE